Formal logics as model
نویسندگان
چکیده
We describe the main features of an in-service teacher training proposal aimed at helping the teachers to use logic as a means of encouraging students to develop valuable models of thinking, taking into account the evolution of common sense reasoning and the reasoning capabilities required by the complexity of global rationality. Referring to the situation in Italian schools, we firstly discuss the levels of competence to be achieved by teachers, in relation to the formal reasoning objectives of education. Then, we introduce our proposal, giving particular emphasis to its epistemological design. We conclude with some remarks about the results of our experimentation with the model. We propose innovations in teacher training in logic, in accordance with the current view of rationality. Our work is partly supported by the project ‘Education to rationality’ of IRRE Liguria (Ligurian Regional Institute of Educational Research), a project aimed at improving reasoning education in upper secondary schools.
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملTranslations: generalizing relative expressiveness between logics
There is a strong demand for precise means for the comparison of logics in terms of expressiveness both from theoretical and from application areas. The aim of this paper is to propose a sufficiently general and reasonable formal criterion for expressiveness, so as to apply not only to model-theoretic logics, but also to Tarskian and proof-theoretic logics. For model-theoretic logics there is a...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملAvoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson
In recent work MacPherson argues that the standard method of modeling belief logically, as a necessity operator in a modal logic, is doomed to fail. The problem with normal modal logics as logics of belief is that they treat believers as “ideal” in unrealistic ways (i.e., as omnidoxastic); however, similar problems re-emerge for candidate non-normal logics. The authors argue that logics used to...
متن کاملCategorical Abstract Algebraic Logic: Models of π-Institutions
An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present ...
متن کاملCombined model checking for temporal, probabilistic, and real-time logics
a r t i c l e i n f o a b s t r a c t Model checking is a well-established technique for the formal verification of concurrent and distributed systems. In recent years, model checking has been extended and adapted for multi-agent systems, primarily to enable the formal analysis of belief–desire–intention systems. While this has been successful, there is a need for more complex logical framework...
متن کامل